$\forall$$w$:World, $p$:FairFifo, $e$:E, $l$:IdLnk. w\_sends($e$;$l$) $\in$ Msg List